| Name | Version | Summary | date |
| lean-runner |
0.0.1.dev4 |
A Python client for the Lean Theorem Prover Server API. |
2025-08-09 03:35:09 |
| simple-lean-client |
0.0.1.dev4 |
A Python client for the Lean Theorem Prover Server API. |
2025-08-09 03:19:53 |
| lean-server |
0.0.1.dev4 |
A FastAPI-based server to interact with the Lean Theorem Prover. |
2025-08-09 03:19:29 |
| lmms-lean-server |
0.0.1.dev4 |
A FastAPI-based server to interact with the Lean Theorem Prover. |
2025-08-06 05:24:12 |
| lmms-lean-client |
0.0.1.dev3 |
A Python client for the Lean Theorem Prover Server API. |
2025-08-06 02:12:49 |
| model-checker |
0.9.36 |
A hyperintensional theorem prover for modal, counterfactual conditional, constitutive explanatory, and extensional operators. |
2025-08-06 00:03:24 |